Nuprl Definition : EVal_to_ES
0,22
postcript
pdf
EVal_to_ES{i:l}(
e
,
p
) == TERMOF{
EVal-to-ES
:ObjectId, 1:l, i:l}(
e
,
p
)
latex
clarification:
EVal_to_ES{i:l}(
e
;
p
) == TERMOF{
EVal-to-ES
:ObjectId, 1:l, i:l}(
e
,
p
)
latex
Definitions
f
(
a
)
,
EVal-to-ES
FDL editor aliases
EVal_to_ES
origin